Dec(P) == P  (P) 

latex

Up	core 2, core 2
Wellformedness Lemmas	decidable wf, decidable wf
Definitions	P  Q, A
FDL editor aliases	decidable